program testValueNumberingExtended;

class testValueNumberingExtended
BEGIN
   
   VAR aa, bb, cc, dd, mm, pp, qq, yy, zz: integer;

FUNCTION testValueNumberingExtended;
BEGIN
   mm := aa + bb;

   IF False THEN
      pp := cc + dd
   ELSE
      qq := aa + bb;

   yy := aa + bb;
   zz := cc + dd
END

END
.

